Skip to content

use default GITHUB_TOKEN over CI_TOKEN#89

Merged
pablofmena merged 1 commit intomasterfrom
justin/rollCIToken
Apr 6, 2026
Merged

use default GITHUB_TOKEN over CI_TOKEN#89
pablofmena merged 1 commit intomasterfrom
justin/rollCIToken

Conversation

@higgins
Copy link
Copy Markdown
Contributor

@higgins higgins commented Apr 3, 2026

We got paged that we needed to roll CI_TOKEN.
I deleted it on @pablofmena 's recommendation.
Rather than recreating it, here, I reference the repo's default GITHUB_TOKEN

@higgins higgins requested a review from pablofmena April 3, 2026 19:00
@gemini-code-assist
Copy link
Copy Markdown

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

@pablofmena
Copy link
Copy Markdown
Contributor

fixed ci here #95

@pablofmena pablofmena force-pushed the justin/rollCIToken branch from eedd437 to 18861d5 Compare April 6, 2026 08:22
@pablofmena pablofmena merged commit d524382 into master Apr 6, 2026
7 checks passed
@pablofmena pablofmena deleted the justin/rollCIToken branch April 6, 2026 08:28
@intervene-ci
Copy link
Copy Markdown
Collaborator

🎉 This PR is included in version 5.0.1 🎉

The release is available on:

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

3 participants